Using Partial Order Plans for Project Management

We present a framework in which partial order plans are used for project management tasks where the dependency between each sub task and employee can be observed. For this purpose, extending the resource conscious linear logic planning, we establish an explicit correspondence between multiplicative exponential linear logic proofs and partial order plans. We express planning problems as formulae, and then extract partial order plans from the proofs of these formulae. We provide a constructive soundness and completeness result and show how this approach to planning can be used for project management.